1. April 3, 2011. Proceedingsع۰بcken, Germany, March 26Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr
پدیدآورنده : / Andrew W. Appel (auth.), Gilles Barthe (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
2. Compiling with continuations /
پدیدآورنده : Andrew W. Appel
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Standard ML of New Jersey,Compilers (Computer programs)
رده :
QA76
.
76
.
C65
A67
2006
3. Modern compiler implementation in C
پدیدآورنده : Andrew W. Appel
موضوع : C (Computer program language),Compilers (Computer programs)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Modern compiler implementation in Java
پدیدآورنده : Andrew W. Appel with Jens Palsberg,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Compilers )Computer programs(,Java )Computer program language(
رده :
EBOOK
,
QA
.
C65
,
A674
76
.
76
2002
5. Modern compiler implementation in Java
پدیدآورنده : Appel, Andrew W.
موضوع : ، Java )Computer program language(,، Compilers )Computer programs(
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
6. Modern compiler implementation in Java /
پدیدآورنده : Andrew W. Appel with Jens Palsberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Compilers (Computer programs),Java (Computer program language),Compilateurs (Logiciels),Java (Langage de programmation),Compilers (Computer programs),COMPUTERS-- Compilers.,Java,Java (Computer program language),Übersetzerbau
رده :
QA76
.
73
.
J38
A65
2002eb
7. Program logics for certified compilers /
پدیدآورنده : Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
رده :
QA76
.
76
.
V47
A65
2014
